Analysis of Probabilistic Basic Parallel Processes

Basic Parallel Processes (BPPs) are a well-known subclass of Petri Nets. They are the simplest common model of concurrent programs that allows unbounded spawning of processes. In the probabilistic version of BPPs, every process generates other processes according to a probability distribution. We study the decidability and complexity of fundamental qualitative problems over probabilistic BPPs -- in particular reachability with probability 1 of different classes of target sets (e.g. upward-closed sets). Our results concern both the Markov-chain model, where processes are scheduled randomly, and the MDP model, where processes are picked by a scheduler.Comment: This is the technical report for a FoSSaCS'14 pape

Twist Deformations of the Supersymmetric Quantum Mechanics

The N-extended Supersymmetric Quantum Mechanics is deformed via an abelian twist which preserves the super-Hopf algebra structure of its Universal Enveloping Superalgebra. Two constructions are possible. For even N one can identify the 1D N-extended superalgebra with the fermionic Heisenberg algebra. Alternatively, supersymmetry generators can be realized as operators belonging to the Universal Enveloping Superalgebra of one bosonic and several fermionic oscillators. The deformed system is described in terms of twisted operators satisfying twist-deformed (anti)commutators. The main differences between an abelian twist defined in terms of fermionic operators and an abelian twist defined in terms of bosonic operators are discussed.Comment: 18 pages; two references adde

Quantum gravitational corrections to black hole geometries

We calculate perturbative quantum gravity corrections to eternal two-dimensional black holes. We estimate the leading corrections to the AdS_2 black hole entropy and determine the quantum modification of N-dimensional Schwarzschild spacetime.Comment: 15 pages, 6 figures. Revised version: Introduction and conclusion expanded, section II reshaped, references added. Accepted for publication in Phys. Rev.

Zero-energy vortices in Dirac materials

This is the author accepted manuscript. The final version is available from Wiley via the DOI in this record In this brief review, we survey the problem of electrostatic confinement of massless Dirac particles, via a number of exactly solvable one- and two-body models. By considering bound states at zero energy, we present a route to obtain truly discrete states of massless Dirac particles in scalar potentials, circumventing the celebrated Klein tunnelling phenomenon. We also show how the coupling of two ultrarelativistic particles can arise, and discuss its implications for cutting-edge experiments with two-dimensional Dirac materials. Finally, we report an analytic solution of the two-body Dirac-Kepler problem, which may be envisaged to bring about a deeper understanding of critical charge and atomic collapse in mesoscopic Dirac systems.European Union Horizon 202

Graphite and Hexagonal Boron-Nitride Possess the Same Interlayer Distance. Why?

Graphite and hexagonal boron nitride (h-BN) are two prominent members of the family of layered materials possessing a hexagonal lattice. While graphite has non-polar homo-nuclear C-C intra-layer bonds, h-BN presents highly polar B-N bonds resulting in different optimal stacking modes of the two materials in bulk form. Furthermore, the static polarizabilities of the constituent atoms considerably differ from each other suggesting large differences in the dispersive component of the interlayer bonding. Despite these major differences both materials present practically identical interlayer distances. To understand this finding, a comparative study of the nature of the interlayer bonding in both materials is presented. A full lattice sum of the interactions between the partially charged atomic centers in h-BN results in vanishingly small monopolar electrostatic contributions to the interlayer binding energy. Higher order electrostatic multipoles, exchange, and short-range correlation contributions are found to be very similar in both materials and to almost completely cancel out by the Pauli repulsions at physically relevant interlayer distances resulting in a marginal effective contribution to the interlayer binding. Further analysis of the dispersive energy term reveals that despite the large differences in the individual atomic polarizabilities the hetero-atomic B-N C6 coefficient is very similar to the homo-atomic C-C coefficient in the hexagonal bulk form resulting in very similar dispersive contribution to the interlayer binding. The overall binding energy curves of both materials are thus very similar predicting practically the same interlayer distance and very similar binding energies.Comment: 18 pages, 5 figures, 2 table

Behavioral inhibition in childhood predicts smaller hippocampal volume in adolescent offspring of parents with panic disorder

Behavioral inhibition (BI) is a genetically influenced behavioral profile seen in 15–20% of 2-year-old children. Children with BI are timid with people, objects and situations that are novel or unfamiliar, and are more reactive physiologically to these challenges as evidenced by higher heart rate, pupillary dilation, vocal cord tension and higher levels of cortisol. BI predisposes to the later development of anxiety, depression and substance abuse. Reduced hippocampal volumes have been observed in anxiety disorders, depression and posttraumatic stress disorder. Animal models have demonstrated that chronic stress can damage the hippocampal formation and implicated cortisol in these effects. We, therefore, hypothesized that the hippocampi of late adolescents who had been behaviorally inhibited as children would be smaller compared with those who had not been inhibited. Hippocampal volume was measured with high-resolution structural magnetic resonance imaging in 43 females and 40 males at 17 years of age who were determined to be BI+ or BI− based on behaviors observed in the laboratory as young children. BI in childhood predicted reduced hippocampal volumes in the adolescents who were offspring of parents with panic disorder, or panic disorder with comorbid major depression. We discuss genetic and environmental factors emanating from both child and parent that may explain these findings. To the best of our knowledge, this is the first study to demonstrate a relationship between the most extensively studied form of temperamentally based human trait anxiety, BI, and hippocampal structure. The reduction in hippocampal volume, as reported by us, suggests a role for the hippocampus in human trait anxiety and anxiety disorder that warrants further investigation

Human sit-to-stand transfer modeling towards intuitive and biologically-inspired robot assistance

© 2016, Springer Science+Business Media New York. Sit-to-stand (STS) transfers are a common human task which involves complex sensorimotor processes to control the highly nonlinear musculoskeletal system. In this paper, typical unassisted and assisted human STS transfers are formulated as optimal feedback control problem that finds a compromise between task end-point accuracy, human balance, energy consumption, smoothness of motion and control and takes further human biomechanical control constraints into account. Differential dynamic programming is employed, which allows taking the full, nonlinear human dynamics into consideration. The biomechanical dynamics of the human is modeled by a six link rigid body including leg, trunk and arm segments. Accuracy of the proposed modelling approach is evaluated for different human healthy and patient/elderly subjects by comparing simulations and experimentally collected data. Acceptable model accuracy is achieved with a generic set of constant weights that prioritize the different criteria. Finally, the proposed STS model is used to determine optimal assistive strategies suitable for either a person with specific body segment weakness or a more general weakness. These strategies are implemented on a robotic mobility assistant and are intensively evaluated by 33 elderlies, mostly not able to perform unassisted STS transfers. The validation results show a promising STS transfer success rate and overall user satisfaction

Observing interactions between children and adolescents and their parents: the effects of anxiety disorder and age

Parental behaviors, most notably overcontrol, lack of warmth and expressed anxiety, have been implicated in models of the development and maintenance of anxiety disorders in children and young people. Theories of normative development have proposed that different parental responses are required to support emotional development in childhood and adolescence, yet age has not typically been taken into account in studies of parenting and anxiety disorders. In order to identify whether associations between anxiety disorder status and parenting differ in children and adolescents, we compared observed behaviors of parents of children (7–10 years) and adolescents (13–16 years) with and without anxiety disorders (n=120), while they undertook a series of mildly anxiety-provoking tasks. Parents of adolescents showed significantly lower levels of expressed anxiety, intrusiveness and warm engagement than parents of children. Furthermore, offspring age moderated the association between anxiety disorder status and parenting behaviors. Specifically, parents of adolescents with anxiety disorders showed higher intrusiveness and lower warm engagement than parents of non-anxious adolescents. A similar relationship between these parenting behaviors and anxiety disorder status was not observed among parents of children. The findings suggest that theoretical accounts of the role of parental behaviors in anxiety disorders in children and adolescents should distinguish between these different developmental periods. Further experimental research to establish causality, however, would be required before committing additional resources to targeting parenting factors within treatment